A Growth Model for the Quadruple Helix Innovation Theory

We propose a theoretical growth model with which to frame analytically the Quadruple Helix Innovation Theory (QHIT). The aim is to emphasise the investment in innovation transmission mechanisms in terms of economic growth and productivity gains, in one-high-technology sector, by stressing the role played by the helices of the Quadruple Helix Innovation Model: Academiaand Technological Infrastructures, Firms of Innovation, Government and Civil Society. In the existing literature, the relationship between the helices and respective impacts on economic growth does not appear clear. Results are fragiledue to data weakness and the inexistence of a theoretical framework to specify the relationship between the helices. Hence our motivation for providing the QHIT with a theoretical growth model. Our intent is to model the importance of emerging, dynamically adaptive, and transdisciplinary knowledge and innovation ecosystems to economic growth. We .nd that higher economic growth rate is obtained as a result of an increase in synergies and complementarities between different productive units, or an incease in productive government expenditure.Economic Growth; Quadruple Helix Innovation Model; Innovation Ecosystems.

Translating synchronous Petri Nets into PROMELA for verifying behavioural properties

For developing embedded systems, the design process may benefit in some contexts from the usage of formal methods, namely to find critical errors and flaws, before final design and implementation decisions are taken. The Synchronous and Interpreted Petri Net (SIP-net) modelling language is considered in this article to model embedded systems. This model of computation is based on safe Petri nets with guarded transitions and synchronous transitions firing, and also includes enabling and inhibitor arcs. The Spin tool, whose input language is PROMELA, is a verification system based on model checking techniques. This article presents a program to translate SIP-net models into PROMELA code and discusses in detail the adequacy of the created PROMELA specification for verification through model checking techniques.Fundação para a Ciência e a Tecnologia (FCT) - bolsa SFRH/BD/19718/200

Validation of reactive software from scenario-based models

This thesis proposal suggests a model-based approach to obtain, from a set of behavioural scenarios of a given reactive software system, a graphical animation for reproducing that set of scenarios for validation purposes. The approach assumes that the requirements of the system are described by a use case diagram, being the behaviour of each use case detailed by a collection of scenario descriptions. These use cases and scenarios are transformed into a Coloured Petri Net (CPN) model, which is next complemented with animation-specific elements. By executing the CPN model, it is possible to animate the scenarios in a user-friendly way and thus ensuring an effective involvement of the users in the system’s validation. The CPN model is enforced to be (1) parametric, allowing an easy modification of the initial conditions of the scenarios, (2) environment-descriptive, meaning that it includes the state of the relevant elements of the environment, and (3) animation-separated, implying that the elements related to animation are clearly separated from the other ones. We validate our approach based on its application to two examples of reactive systems

Validation of scenario-based business requirements with Coloured Petri Nets

A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an interaction diagram. This paper discusses how a collection of scenarios, all expressed as UML2 sequence diagrams, can be described for validation purposes by a single model, written in the Coloured Petri Nets (CPN) modelling language. Due to the support for parallelism given by the CPN language, the obtained CPN model can: (1) simultaneously execute several scenarios; and (2) elegantly represent the parallel activities inside a scenario. This two-level parallelism is crucial during validation, since it allows one to detect problems that are only evident when several scenarios are in simultaneous execution and may affect each other. We exemplify our approach in a system that has a rich set of interactions with its users.Fundação para a Ciência e a Tecnologia (FCT) - bolsa SFRH/BD/19718/2004, programa PTDC/EIA/70271/2006 “AMADEUS: Aspects and Compiler Optimizations for Matlab System Development

A growth model for the quadruple helix innovation theory

We propose a theoretical growth model with which to frame analytically the Quadruple Helix Innovation Theory (QHIT). The aim is to emphasise the investment in innovation transmission mechanisms in terms of economic growth and productivity gains, in one-high-technology sector, by stressing the role played by the helices of the Quadruple Helix Innovation Model: Academiaand Technological Infrastructures, Firms of Innovation, Government and Civil Society. In the existing literature, the relationship between the helices and respective impacts on economic growth does not appear clear. Results are fragiledue to data weakness and the inexistence of a theoretical framework to specify the relationship between the helices. Hence our motivation for providing the QHIT with a theoretical growth model. Our intent is to model the importance of emerging, dynamically adaptive, and transdisciplinary knowledge and innovation ecosystems to economic growth. We .nd that higher economic growth rate is obtained as a result of an increase in synergies and complementarities between different productive units, or an incease in productive government expenditure.Fundação para a Ciência e a Tecnologia (FCT

Innovation economy, productive public expenditures and economic growth

Innovation is the main engine of growth in an increasing number of economies. Innovation economies are, according to the Quadruple Helix (QH) Innovation Theory, sustained by four pilars – Firms, Academia, Government and Consumers –, all operating in a systemic, interactive environment. We provide a model that gives analytical body to the QH theory and links formally innovation to economic growth. We aim to emphasise the equally important roles of the four helices sustaining an innovation economy and its long run growth. In particular, given the downwards pressure on Government expenditures, we analyse the effects of an increase in public expenditures on economic growth, which we find positive in the short, medium and long-run.COMPETE; QREN; FEDER; Fundação para a Ciência e a Tecnologia (FCT

Some rules to transform sequence diagrams into coloured Petri nets

This paper presents a set of rules that allows software engineers to transform the behavior described by a UML 2.0 Sequence Diagram (SD) into a Colored Petri Net (CPN). SDs in UML 2.0 are much richer than in UML 1.x, namely by allowing several traces to be combined in a unique diagram, using high-level operators over interactions. The main purpose of the transformation is to allow the development team to construct animations based on the CPN that can be shown to the users or the clients in order to reproduce the expected scenarios and thus validate them. Thus, non-technical stakeholders are able to discuss and validate the captured requirements. The usage of animation is an important topic in this context, since it permits the user to discuss the system behavior using the problem domain language. A small control application from industry is used to show the applicability of the suggested rules

Perceived risk of institutionalization, hospitalization, and death in oldest old primary care patients

Objectives: This study aims to analyze the accuracy and predictive ability of the Risk Instrument for Screening in the Community (RISC) scored by general practitioners (GPs) in a sample of primary care patients aged 80+ with perceived mental health concerns. Method: GPs ranked the perceived risk of the three adverse outcomes (hospitalization, institutionalization and death) at 1 year in a five Likert scale (RISC score), where 1 is the lowest risk and 5 is the highest. Follow up contacts were conducted after 1 year of assessment in order to collect data on the three outcomes. Results: The 1-year proportion of institutionalization, hospitalization and death were 12.1 %, 25.2 % and 19.0 % respectively. Based upon the sensitivity and specificity from the Receiver Operating Characteristic (ROC) curves, we found an optimal cut-off point of ≥4 for the RISC. The RISC had fair accuracy for 1-year risk of in- stitutionalization (Area Under the ROC curve (AUC) = 0.75, 95% CI 0.43-0.68) and hospitalization (AUC = 0.65, 95% CI 0.52-0.78), but not for death (AUC = 0.55, 95% CI 0.43-0.68). Conclusions: The RISC as a short global subjective assessment is to be considered a reliable tool for use by GPs. Our results showed that RISC seems to be a good instrument to triage very old people at risk for in- stitutionalization but with poor accuracy at predicting hospitalization and limited predictive ability for death, suggesting further research and caution on this instrument’s use.publishe